Колчин, А.В.; Котляров, В.П.; Дробинцев, П.Д.
(Управляющие системы и машины, 2012)
Описан метод поиска специфических поведений формальных моделей, использующий задаваемую пользователем дополнительную информацию о поведенческих особенностях проектируемой системы, и его применение к автоматическому построению ...